OWL Reasoning: Subsumption Test Hardness and Modularity
نویسندگان
چکیده
منابع مشابه
Empirical Investigation of Subsumption Test Hardness in Description Logic Classification
Recently, modular techniques have been employed for optimising Description Logic reasoning, specifically to enable incremental reasoning and improve overall classification time. Classifying a module of an ontology should be significantly easier than reasoning in the whole ontology. However, we observed in previous work that neither it is generally true that modular reasoning techniques have a r...
متن کاملTree Subsumption: Reasoning with Outlines
This paper presents the beginnings of a theory for reasoning with proof outlines; proof outlines are abstract descriptions of proofs, providing the important subgoals on the way to the nal conclusion. The use of proof outlines can both aid explanation and reduce search. Fellowship. All the members of the Mathematical Reasoning group in Edinburgh and the Mechanized Reasoning group in Trento are ...
متن کاملInverting Subsumption for Constructive Reasoning
We present a Logic Programming prototype implementation, working as proof-of-concept for a unified strategy proposed in our past research to solve several non-standard reasoning problems in Description Logics (DLs), denoted by Constructive Reasoning. In order to prove both the problem-independence and the logic-independence of the adopted approach, the prototype is focused on the solution of th...
متن کاملOn a Semantic Subsumption Test
We observe, that subsumption of clauses (in the language of first order logic), so far understood as a syntactic notion, can also be defined by semantical means. Subsumption is NP-complete and testing subsumption takes roughly half of the running time of a typical first order resolution-based theorem prover. We also give some experimental evidence, that replacing syntactic indexing for subsumpt...
متن کاملOWL and Qualitative Reasoning Models
The desire to share and reuse knowledge has led to the establishment of the Web Ontology Language (OWL) knowledge representation language. The Naturnet-Redime project needs to share qualitative knowledge models of issues relevant to sustainable development and OWL seems the obvious choice for representing such models to allow search and other activities relevant to sharing knowledge models. How...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 2017
ISSN: 0168-7433,1573-0670
DOI: 10.1007/s10817-017-9414-8